Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
661	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
662	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:36:26 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science
663	From SIAM News, Volume 45, Number 9, NovemberPhysics and Computation Computation and its Limits. By Paul Cockshott, Lewis M. Mackenzie, and Greg Michaelson, Oxford University Press, Oxford, UK, and New York, 2012, Add to Reading List Source URL: www.siam.org Language: English - Date: 2012-12-17 10:03:08 Computability theory Theory of computation Models of computation Alan Turing Halting problem Quantum computer Computability Algorithm Interpretations of quantum mechanics Theoretical computer science Applied mathematics Computer science
664	The Origin of Physical Laws and Sensations Bruno Marchal, IRIDIA, Université de Bruxelles Résumé : I will first present a non constructive argument showing that the mechanist hypothesis in cognitive science gives enou Add to Reading List Source URL: iridia.ulb.ac.be Language: English - Date: 2007-06-27 08:53:52 Computability theory Theory of computation Quantum measurement Alan Turing Quantum mechanics Church–Turing thesis Computable function Quantum indeterminacy Indeterminacy Theoretical computer science Physics Science
665	Compiler Tools in APL Robert Bernecky Snake Island Research Inc 18 Fifth Street, Ward’s Island Toronto, Ontario M5J 2B9 Canada Add to Reading List Source URL: www.snakeisland.com Language: English - Date: 2008-07-16 14:59:20 APL programming language family Array programming languages Models of computation Automata theory Functional languages Finite-state machine APL LALR parser LR parser Software engineering Computing Computer programming
666	Chapter 4: Computability Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-24 15:09:33 Computability theory Mathematical logic Theory of computation Logic in computer science Proof theory Undecidable problem Decision problem Algorithm Computability Theoretical computer science Mathematics Applied mathematics
667	A First-Order Theory of Communication and Multi-Agent Plans: Appendix A Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-14 13:47:24 Models of computation Agent-based model Complex systems theory Scientific modeling Communication Entailment Logic Multi-agent systems Science
668	CHAIN LADDER CORRELATIONS Greg Taylor Taylor Fry Consulting Actuaries Level 11, 55 Clarence Street Sydney NSW 2000 Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:23:08 Theory of computation Mathematics Mathematical sciences Μ operator Primitive recursive function Markov models Markov chain Computability theory
669	Chapter 2: Algorithmics Quotation Algorithmic Adventures From Knowledge to Magic Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Theoretical computer science Computer program Mathematics Models of computation Computability theory Computing Algorithm Mathematical logic
670	Computation of the Best-fitting Flat for a Set of Points Gary D. Knott, Ph.D. Civilized Software, IncHeritage Park Circle Silver Spring MDTel.: ( Add to Reading List Source URL: www.civilized.com Language: English - Date: 2009-08-20 17:05:41 Singular value decomposition Matrix theory Data analysis Principal component analysis Eigenvalues and eigenvectors Eigendecomposition of a matrix Generalized eigenvector Algebra Linear algebra Mathematics

UPDATE